The Surprise Examination Paradox in Dynamic Epistemic Logic

نویسندگان

  • Johan van Benthem
  • Sonja Smets
چکیده

Acknowledgements I wish to express my gratitude to my supervisors, Johan van Benthem and Sonja Smets. They have been excellent guides both through the technical intricacies and the philosophical subtleties that I encountered during my research. I would particularly like to thank Johan for badgering me to always keep in mind the big picture and to Sonja for her day-today supervision and careful scrutiny of my every argument. Together, they offered me the impetus and the support I needed in order to successfully complete this project, while leaving me enough space to develop in my own direction. Thank you! I wish to express my gratitude to the members of the committee for the time they invested in reading this thesis and then in devising questions and in stimulating me to think deeper about the problems that it addresses. I wish to express my gratitude to the ILLC for offering the perfect environment for studying logic. It is through the mix of classes and conferences organized here that I first got acquainted with dynamic epistemic logic and gained the necessary skills for completing this thesis. I wish to thank my teachers for all they have taught me and, of course, Tanja, who is the ILLC's " invisible hand ". This thesis would have looked very different had it not been for the project on dynamic epistemic logic organized by Johan and Davide Grossi. During that project I had my first go at weaving together dynamic epistemic logic and philosophy and Johan and Davide joyfully guided these first steps. Also, I had a lot to gain from the kind invitation of Johan and Eric Pacuit to present an early version of my thesis during the Workshop on Logic, Rationality and Interaction at ESSLLI 2010. I wish to thank the audience for all their questions and particularly Alexandru Baltag whose challenging comments helped me tune my arguments better. I wish to express my gratitude to my friends from Amsterdam who, through their kindness and humor made my stay here an unforgettable experience: to Fernando for his contagious optimism; to Kian for the stimulating conversations (philosophical or otherwise) and for the movie nights that we enjoyed together; to Lorenz, for the seminar we organized together and for listening and helping me sharpen many of the ideas that are now in this thesis; to Lucian and Roxana for their kindness to have me over so …

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The surprise examination

We examine a version of the surprise examination paradox using dynamic epistemic logic. We claim that the difficulties in the puzzle arise from the assumption that announcements are in general successful: the hearer will come to believe that they are true. This principle fails in certain specific cases, and we show that the announcement in the surprise exam paradox is an example. In dynamic epi...

متن کامل

Knowledge, Time, and Paradox

Epistemic logic in the tradition of Hintikka provides, as one of its many applications, a toolkit for the precise analysis of certain epistemological problems. In recent years, dynamic epistemic logic has expanded this toolkit. Dynamic epistemic logic has been used in analyses of well-known epistemic “paradoxes”, such as the Paradox of the Surprise Examination and Fitch’s Paradox of Knowability...

متن کامل

The Surprise Examination in Dynamic Epistemic Logic

We examine the paradox of the surprise examination using dynamic epistemic logic. This logic contains means of expressing epistemic facts as well as the effects of learning new facts, and is therefore a natural framework for representing the puzzle. We discuss a number of different interpretations of the puzzle in this context, and show how the failure of principle of success, that states that ...

متن کامل

Epistemic Logic and Epistemology∗

This chapter provides a brief introduction to propositional epistemic logic and its applications to epistemology. No previous exposure to epistemic logic is assumed. Epistemic-logical topics discussed include the language and semantics of basic epistemic logic, multi-agent epistemic logic, combined epistemic-doxastic logic, and a glimpse of dynamic epistemic logic. Epistemological topics discus...

متن کامل

A Survey of Dynamic Epistemic Logic

Dynamic Epistemic Logic is the study of how to reason about knowledge, belief, and communication. This paper surveys this fast-growing field, covering syntax, semantics, axiomatics, bisimulation and action emulation, expressivity results, extension and embedding results, and issues of truth persistence and paradox that result from doxastic change. Along the way, we identify a number of open pro...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010